$\forall$$L_{1}$,$L_{2}$:(top List), $n$:int\_seg(0; ($\parallel$$L_{1}$$\parallel$ + 1)).
\\[0ex]sqequal(firstn($n$; append($L_{1}$; $L_{2}$)); firstn($n$; $L_{1}$))